language for defining interfaces to CORBA objects which is independent of platform, operating system and programming language